package dv.apkeep;

import dv.network.Device;

public class Property {
    private Device source;
    private Automata automata;

    public Property(Device source, Automata automata) {
        this.source = source;
        this.automata = automata;
    }

    public Device getSource() {
        return source;
    }

    public Automata getAutomata() {
        return automata;
    }
}